home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Celestin Apprentice 7
/
Apprentice-Release7.iso
/
Source Code
/
C
/
Applications
/
Moscow ML 1.42
/
src
/
compiler
/
Infixres.sig
< prev
next >
Encoding:
Amiga
Atari
Commodore
DOS
FM Towns/JPY
Macintosh
Macintosh JP
Macintosh to JP
NeXTSTEP
RISC OS/Acorn
Shift JIS
UTF-8
Wrap
Text File
|
1997-08-18
|
156 b
|
9 lines
|
[
TEXT/R*ch
]
local
open Globals Asynt;
in
val resolveToplevelDec : Dec -> InfixBasis * ConBasis * Dec;
val resolveToplevelSpec : Spec -> InfixBasis * ConBasis;
end;
